1.
Zum '97 The Z Formal Specification Notation
by Bowen, J. P., Hinchey, M. G...
ISBN: 9783540627173
List Price: $88.95
2.
Zum '98 The Z Formal Specification Notation
by Bowen, J. P., Fettweis, A.,...
ISBN: 9783540650706
List Price: $82.95
3.
Formal Methods and Software Engineering
by Hinchey, Michael G., Larron...
ISBN: 9783540766483
List Price: $79.95
4.
Understanding Formal Methods
by Monin, Jean-Francois, Hinch...
ISBN: 9781447100447
List Price: $24.99
OUT OF STOCK
See Availability on Amazon5.
Formal Methods and Software Engineering
by Butler, Michael, Hinchey, M...
ISBN: 9783540845782
List Price: $24.99